A Finite-Sampling, Operational Domain Specific, and Provably Unbiased Connected and Automated Vehicle Safety Metric | IEEE Journals & Magazine | IEEE Xplore